University Link - PDFSEARCH.IO - Document Search Engine

University Link
Results: 1271

#	Item
721	Deductive Planning with Inductive Loops Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden [removed],[removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:35:28 Science Mathematical induction Mathematical proof First-order logic Algorithm Unification Recursion Function Inductive reasoning Logic Mathematics Mathematical logic
722	Integration of Live Video in a System for Natural Language Dialog with a Robot Erik Sandewall, Hannes Lindblom and Bj¨orn Husberg Department of Computer Science Link¨oping University Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-31 08:11:55 Systems engineering Linguistics Human communication Dialog act Language Robotics Unmanned aerial vehicle Gesture Dialogue Multimodal interaction User interfaces Dialog system
723	Elaboration Tolerance through Object-Orientation Joakim Gustafsson a , Jonas Kvarnstr¨om ∗ a Department of Computer and Information Science, Link¨oping University, SE[removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:10:54 Computer programming Fluent Frame problem Object Class Abstraction Inheritance Domain model Conceptual model Software engineering Object-oriented programming Computing
724	Erzgraber, H., Krauskopf, B., & Lenstra, D[removed]Mode structure of delaycoupled semiconductor lasers : influence of the pump current. Link to publication record in Explore Bristol Research PDF-document University of Add to Reading List Source URL: research-information.bristol.ac.uk Language: English - Date: 2012-07-07 04:00:32 Mathematical analysis Saddle-node bifurcation Numerical continuation Hopf bifurcation Laser Bifurcation theory Optics Physics
725	WITAS: An Intelligent Autonomous Aircraft Using Active Vision G¨osta Granlund, Klas Nordberg, Johan Wiklund, Patrick Doherty, Erik Skarman, Erik Sandewall Link¨ oping University, SE[removed]Link¨ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:45:44 Military Integrated Dynamics National security Miniature UAV Unmanned aerial vehicles Military terminology Signals intelligence
726	A couple of notes: I have been trying to convert to Charter Business as my email carrier and still have not had success so this will go out via the slow method! There are a few important messages: 1. a link from the NY Add to Reading List Source URL: wisair.files.wordpress.com Language: English - Date: 2014-11-25 00:07:08 Eau Claire metropolitan area Chippewa Falls Wisconsin Chippewa River University of Wisconsin–Eau Claire Chippewa Valley Wisconsin Geography of the United States Eau Claire Wisconsin
727	SPRING 2010 • Volume 30, Number 3 Undergraduate Research and International Initiatives to Link Teaching and Research Alan Jenkins, Add to Reading List Source URL: www.cur.org Language: English - Date: 2013-04-29 13:04:49 Higher education Problem-based learning Higher Education Funding Council for England Quality Assurance Agency for Higher Education Open University Research-informed teaching Chemistry education Education Higher education in the United Kingdom Association of Commonwealth Universities
728	TALplanner: An Empirical Investigation of a Temporal Logic-based Forward Chaining Planner Patrick Doherty Dept of Computer and Information Science Link¨oping University SE[removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:13:29 Model theory Linear temporal logic Temporal logic Logical syntax Entailment First-order logic Limit Modal logic Action description language Logic Philosophical logic Propositional calculus
729	Stream-Based Middleware Support for Embedded Reasoning∗ Fredrik Heintz, Jonas Kvarnstr¨om and Patrick Doherty Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {frehe, jonkv, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 08:44:42 Knowledge representation Cognition Database management systems Middleware Systems engineering Reasoning system Database Frame language Spatial–temporal reasoning Artificial intelligence Reasoning Science
730	Dynamic Test Selection for Reconfigurable Diagnosis Mattias Krysander∗ , Fredrik Heintz† , Jacob Roll∗ , Erik Frisk∗ ∗ Dept. of Electrical Engineering, Link¨oping University, SE[removed]Link¨oping, Sweden Emai Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:00:54 Econometrics Time series analysis Numerical analysis Autoregressive conditional heteroskedasticity Least squares Residual Errors and residuals in statistics Degrees of freedom F-test Statistics Regression analysis Statistical tests

UPDATE